Systematic Verification of Flexible Manufacturing Control Software
نویسنده
چکیده
Increasing the performance and flexibility of automated manufacturing systems is a key success factor for today’s production companies. Flexible manufacturing systems (FMS) have proven to be particularly suitable in this regard since they support small lot sizes and high numbers of variants at the same time. Among the most important problems of FMS are the huge expenditure of time and the high costs for engineering its control software. Engineering in this context refers to all aspects from planning the specific production process, assigning control programs to machines, implementing software modules, to testing the whole configuration. In this paper, we describe a new approach to verify a distributed agent-oriented shop floor control system systematically on the basis of a virtual process qualification.
منابع مشابه
Steps Toward Automatic Generation, Verification and Optimization of Control Programs for Flexible Manufacturing Cells
In the scope of control program development for manufacturing systems, information handling and information reuse are currently undeveloped areas. For example, the same control function is usually implemented several times in different stages in the development process, without much reuse of information from earlier stages in the process. To improve this situation, the sub-processes that genera...
متن کاملModel-Based, Coverage-Driven Verification and Validation of Code for Robots in Human-Robot Interactions
Industries such as flexible manufacturing and home care will be transformed by the presence of robotic assistants. Assurance of safety and functional soundness for these robotic systems will require rigorous verification and validation. We propose testing in simulation using CoverageDriven Verification (CDV) to guide the testing process in an automatic and systematic way. We use a two-tiered te...
متن کاملA Kinematic - Coupling - Based Adaptive Fixture for High Precision Positioning Applications in Flexible Manufacturing Systems
The means to achieve micron level accuracy and repeatability with detachable fixtures will be an enabling technology in future manufacturing processes. Given the many sources of time variable errors in fixture alignment (i.e. thermal, load, vibration), the integration of actuators and sensors within fixtures will be necessary to achieve real-time error compensation. This thesis examines the fun...
متن کاملFormal Methods in PLC Control Demonstrated at a Flexible Manufacturing Line
This paper presents various formal approaches in the development of logic control algorithms. Programmable Logic Controllers (PLCs) are commonly used in automation and the algorithms running on them tend to be quite complex. This motivates the application of formal approaches to PLC programming. The approaches range from completely formalized design methods on the one end over the verification ...
متن کاملSystematic and Realistic Testing in Simulation of Control Code for Robots in Collaborative Human-Robot Interactions
Industries such as flexible manufacturing and home care will be transformed by the presence of robotic assistants. Assurance of safety and functional soundness for these robotic systems will require rigorous verification and validation. We propose testing in simulation using Coverage-Driven Verification (CDV) to guide the testing process in an automatic and systematic way. We use a two-tiered t...
متن کامل